Mathematical sciences - PDFSEARCH.IO - Document Search Engine

Mathematical sciences
Results: 6075

#	Item
281	c 2016 Society for Industrial and Applied Mathematics SIAM J. IMAGING SCIENCES Vol. 9, No. 2, pp. 770–793 Add to Reading List Source URL: www.siltanen-research.net Language: English - Date: 2016-06-03 16:18:39 Mathematical analysis Analysis Operator theory Partial differential equations Complex analysis Integral transforms Electrical impedance tomography Beltrami equation Fourier transform Inverse problem Electrical resistivity and conductivity Differential forms on a Riemann surface
282	Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:53:13 Software engineering Formal methods Theoretical computer science Automated theorem proving Computing Loop invariant Mathematical proof Rippling Extended static checking Recurrence relation Automated reasoning Invariant
283	MIMS Joint Research Project for Mathematical Sciences "A Model-Aided Analysis of Chemical Computing" Reaction-Diffusion Computing: Mathematical and Experimental Approaches Add to Reading List Source URL: www.mims.meiji.ac.jp Language: English - Date: 2016-01-19 22:17:20 American football in Japan Meiji Swiss Federal Laboratories for Materials Science and Technology Switzerland
284	Meet Will Salcido, CEO of Bedrock Analytics, a retail analytics visualization software company, at the Grocery Manufacturers Association (GMA) Leadership Forum in West Virginia July 28-31, 2016. The GMA Leadership Forum Add to Reading List Source URL: www.bedrockanalytics.com Language: English - Date: 2016-07-29 20:16:18 Business intelligence Economy Business Formal sciences Information technology Analytics Big data Mathematical finance Market research IRI
285	Brochure Next-generation information analytics HP IDOL 10: built for the era of big data Add to Reading List Source URL: www.havenondemand.com Language: English - Date: 2016-01-18 04:11:38 Computing Information technology Economy Business intelligence Formal sciences Data management Analytics Big data Mathematical finance HP Autonomy Unstructured data Social media analytics
286	9th AIMS CONFERENCE – ABSTRACTS 210 Special Session 50: Mathematical Novelties in Inverse Problems in Imaging Sciences Add to Reading List Source URL: www.aimsciences.org Language: English - Date: 2012-06-23 07:34:51 Medicine Inverse problems Electromagnetism Physical quantities Physics Medical imaging Electrical impedance tomography Electrodiagnosis Electrical resistivity and conductivity Tomography Electrical impedance Complex number
287	Invariant Patterns for Program Reasoning Andrew Ireland and Bill J. Ellis and Tommy Ingulfsen School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK . Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:54:07 Formal methods Software engineering Loop invariant Theoretical computer science Invariant
288	A semidefinite programming hierarchy for geometric packing problems David de Laat (TU Delft) Joint work with Frank Vallentin (Universit¨at zu K¨oln) Isaac Newton Institute for Mathematical Sciences – July 2013 Add to Reading List Source URL: www.daviddelaat.nl Language: English Graph theory NP-complete problems Discrete geometry Independent set FranklRdl graph Lovsz number
289	PUBLICATIONS Vincenzo CAPASSO e-mail: ADAMSS (Advanced Applied Mathematical and Statistical Sciences) Add to Reading List Source URL: www.mat.unimi.it Language: English - Date: 2014-09-11 08:53:50 Probability theory Data Statistics Stochastic processes Mathematical and theoretical biology Epidemic model Theoretical ecology Poisson point process Scientific modelling Stochastic
290	POLYDIV: Enhanced Polynomial Division Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK. Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:14 Algebra Mathematics Abstract algebra Polynomials Computer algebra Ring theory Commutative algebra Polynomial Primitive part and content Euclidean domain Ring Remainder

UPDATE